Setting Up Proofs from Word Problems